D. van Dalen; "Logic and structure"
著者
Dirk van Dalen
https://www.cin.ufpe.br/~mlogica/livros/Logic%20and%20Structure%20-%20Van%20Dalen.pdf